Flow-based programming - PDFSEARCH.IO - Document Search Engine

Flow-based programming
Results: 49

#	Item
41	LNCS[removed]Explicit-State Software Model Checking Based on CEGAR and Interpolation Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Data types Type theory Function Data-flow analysis Variable Algorithm Model checking Abstraction Programming language Mathematics Software engineering Computing
42	FOR IMMEDIATE RELEASE Ada 2012 Language Standard Submitted to ISO Language revision adds contract-based programming, multicore support, and other advanced features STOCKHOLM, SWEDEN, June 12, 2012 – At the Ada-Europe 2 Add to Reading List Source URL: www.ada-europe.org Language: English - Date: 2012-06-16 12:16:39 Computer programming Ada Ravenscar profile A Sharp Control flow ISO/IEC Ada programming language Computing Software engineering
43	Improving JavaScript Performance by Deconstructing the Type System∗ Wonsun Ahn, Jiho Choi, Thomas Shull, María J. Garzarán, and Josep Torrellas University of Illinois at Urbana-Champaign {dahn2, jchoi42, shull1, gar Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2014-03-31 09:55:31 Object-oriented programming Cross-platform software Scripting languages Programming paradigms Control flow JavaScript Foreach loop Prototype-based programming Function object Software engineering Computing Computer programming
44	Typestate-Based Semantic Code Search over Partial Programs Alon Mishne Sharon Shoham Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-08-09 00:46:50 Data types Snippet Source code SQL Java Type system Application programming interface XML Control flow Computing Software engineering Technical communication
45	Annales Mathematicae et Informaticae[removed]pp. 29–44 http://ami.ektf.hu Complexity metric based source code transformation of Erlang programs∗ Add to Reading List Source URL: ami.ektf.hu Language: English - Date: 2013-12-20 14:03:26 Holism Computer programming Cyclomatic complexity Erlang Complexity Control flow Software quality Code refactoring Blum axioms Software metrics Software engineering Computing
46	Refinement-Based CFG Reconstruction from Unstructured Programs - Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2011-08-29 08:46:50 Programming language implementation Malware Control flow graph Computing Bardin Compiler construction Software Compiler
47	Refinement-Based CFG Reconstruction from Unstructured Programs - Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2011-06-14 04:13:29 Compiler construction Procedural programming languages Control flow graph Goto ALGOL 68 Malware MIX Software engineering Programming language theory Computing
48	Microsoft Word - FPGA Applications using HDL Programming and Model based Design Add to Reading List Source URL: www.vit.ac.in Language: English - Date: 2014-04-17 03:21:19 Verilog Field-programmable gate array Xilinx ISE Simulink Flow to HDL Verilog-AMS Hardware description languages Electronic engineering VHDL
49	Stack-Based Typed Assembly Language Greg Morrisett, Karl Crary, Neal Glew, and David Walker Cornell University Add to Reading List Source URL: glew.org Language: English - Date: 2002-11-16 22:02:38 Subroutines Programming language implementation Cross-platform software Control flow Calling convention Tail call Call stack Stack ATS Software engineering Computing Computer programming